cnf_simplify.o: cnf_simplify.cpp cnf_simplify.h expr.h type.h irep.h \
 dstring.h string_container.h hash_cont.h string_hash.h irep_ids.h \
 location.h
